Detailed conclusion table per each integral is given by the table below. The elapsed time is in seconds. For failed result it is given as F(-1) if the failure was due to timeout. It is given as F(-2) if the failure was due to an exception being raised, which could indicate a bug in the system. If the failure was due to integral not being evaluated within the time limit, then it is given as F.
In this table, the column N.S. means normalized size and is defined as \(\frac {\text {antiderivative leaf size}}{\text {optimal antiderivative leaf size}}\). To make the table fit the page, the name Mathematica was abbreviated to MMA
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | No | TBD | TBD | TBD | TBD | TBD |
size | 479 | 531 | 1089 | 1934 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 2.27 | 4.04 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.408 | 0.384 | 3.107 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 572 | 624 | 1241 | 332 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 2.17 | 0.58 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.575 | 1.806 | 43.161 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 628 | 696 | 1480 | 643 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.11 | 2.36 | 1.02 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.863 | 4.220 | 5.692 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 593 | 654 | 1442 | 524 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 2.43 | 0.88 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.759 | 1.835 | 4.549 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | A | F | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 134 | 118 | 286 | 265 | 0 | 385 | 0 | 0 | 0 |
N.S. |
1 | 0.88 | 2.13 | 1.98 | 0.00 | 2.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.320 | 0.553 | 8.608 | 0.000 | 0.322 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 566 | 622 | 1408 | 2071 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.10 | 2.49 | 3.66 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.620 | 1.275 | 4.158 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F(-2) | F | F | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 803 | 863 | 1634 | 965 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 2.03 | 1.20 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.942 | 6.045 | 44.659 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 765 | 821 | 1482 | 844 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.94 | 1.10 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.763 | 1.705 | 39.557 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 762 | 815 | 1477 | 832 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.94 | 1.09 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.696 | 2.059 | 33.948 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 806 | 866 | 1525 | 925 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.07 | 1.89 | 1.15 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.785 | 1.863 | 35.461 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-1) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 727 | 795 | 2053 | 1269 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 2.82 | 1.75 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.930 | 7.390 | 4.667 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | B | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 157 | 144 | 390 | 945 | 0 | 1015 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 2.48 | 6.02 | 0.00 | 6.46 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.365 | 0.761 | 6.541 | 0.000 | 0.496 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | B | F | B | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | Yes | TBD | TBD | TBD | TBD | TBD |
size | 193 | 189 | 385 | 894 | 0 | 890 | 0 | 0 | 0 |
N.S. |
1 | 0.98 | 1.99 | 4.63 | 0.00 | 4.61 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.408 | 0.643 | 7.185 | 0.000 | 0.501 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | B | C | F | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 704 | 764 | 2114 | 3479 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.09 | 3.00 | 4.94 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.827 | 6.064 | 3.307 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1144 | 1208 | 2067 | 1804 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 1.81 | 1.58 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.322 | 6.070 | 47.847 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1144 | 1208 | 2075 | 1278 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 1.81 | 1.12 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 3.467 | 6.064 | 64.233 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | C | F(-2) | F | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | No | No | TBD | TBD | TBD | TBD | TBD |
size | 1134 | 1198 | 2060 | 1798 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 1.06 | 1.82 | 1.59 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 4.252 | 6.048 | 106.523 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 403 | 369 | 326 | 0 | 0 | 1699 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.81 | 0.00 | 0.00 | 4.22 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.506 | 1.564 | 0.000 | 0.000 | 2.439 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 294 | 269 | 263 | 0 | 0 | 1379 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.89 | 0.00 | 0.00 | 4.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.576 | 1.442 | 0.000 | 0.000 | 1.049 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 195 | 179 | 213 | 0 | 0 | 1098 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 1.09 | 0.00 | 0.00 | 5.63 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.395 | 1.573 | 0.000 | 0.000 | 0.533 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 23 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.00 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.276 | 6.453 | 0.493 | 0.000 | 0.258 | 10.391 | 0.349 | 1.275 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 23 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.00 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.278 | 10.945 | 0.764 | 0.000 | 0.260 | 14.183 | 0.369 | 1.407 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 27 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.17 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.271 | 10.764 | 0.526 | 0.000 | 0.259 | 118.153 | 0.343 | 1.394 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 0 | 20 | 19 | 20 | 24 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 0.00 | 1.00 | 0.95 | 1.00 | 1.20 |
time (sec) |
N/A | 0.217 | 17.908 | 0.439 | 0.000 | 0.266 | 47.880 | 0.357 | 1.266 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 23 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.00 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.271 | 1.862 | 0.316 | 0.000 | 0.264 | 7.153 | 0.356 | 1.526 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 328 | 301 | 247 | 0 | 0 | 192 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.75 | 0.00 | 0.00 | 0.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.662 | 8.064 | 0.000 | 0.000 | 0.108 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 453 | 412 | 325 | 0 | 0 | 292 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.72 | 0.00 | 0.00 | 0.64 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.860 | 10.695 | 0.000 | 0.000 | 0.113 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 374 | 341 | 304 | 0 | 0 | 1697 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.81 | 0.00 | 0.00 | 4.54 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.696 | 1.586 | 0.000 | 0.000 | 2.235 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 262 | 242 | 248 | 0 | 0 | 1375 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.95 | 0.00 | 0.00 | 5.25 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.442 | 1.322 | 0.000 | 0.000 | 0.982 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.283 | 7.682 | 2.917 | 0.000 | 0.259 | 72.838 | 0.474 | 1.243 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.298 | 11.890 | 2.283 | 0.000 | 0.274 | 63.269 | 0.363 | 1.493 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 43 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.87 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.288 | 11.079 | 1.111 | 0.000 | 0.261 | 0.000 | 0.342 | 1.514 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 0 | 37 | 0 | 20 | 24 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 0.00 | 1.85 | 0.00 | 1.00 | 1.20 |
time (sec) |
N/A | 0.226 | 18.491 | 1.258 | 0.000 | 0.286 | 0.000 | 0.387 | 1.293 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.276 | 36.147 | 2.253 | 0.000 | 0.267 | 98.964 | 0.419 | 1.686 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 40 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.74 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.287 | 5.649 | 0.400 | 0.000 | 0.255 | 65.772 | 0.370 | 1.461 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 416 | 381 | 303 | 0 | 0 | 286 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.73 | 0.00 | 0.00 | 0.69 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.826 | 11.197 | 0.000 | 0.000 | 0.138 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 554 | 504 | 383 | 0 | 0 | 397 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.69 | 0.00 | 0.00 | 0.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.042 | 11.822 | 0.000 | 0.000 | 0.140 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 321 | 296 | 282 | 0 | 0 | 1383 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.88 | 0.00 | 0.00 | 4.31 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.336 | 2.010 | 0.000 | 0.000 | 1.107 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 225 | 207 | 239 | 0 | 0 | 1107 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 1.06 | 0.00 | 0.00 | 4.92 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.497 | 1.421 | 0.000 | 0.000 | 0.546 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 132 | 128 | 107 | 0 | 0 | 870 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 0.81 | 0.00 | 0.00 | 6.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.338 | 0.326 | 0.000 | 0.000 | 0.358 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 31 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.35 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.275 | 1.222 | 0.518 | 0.000 | 0.259 | 7.655 | 0.354 | 1.318 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 33 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.43 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.289 | 5.254 | 0.839 | 0.000 | 0.268 | 27.192 | 0.355 | 1.392 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 27 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.17 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.274 | 36.978 | 0.555 | 0.000 | 0.269 | 53.630 | 0.366 | 1.422 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 20 | 20 | 22 | 18 | 0 | 20 | 19 | 20 | 24 |
N.S. |
1 | 1.00 | 1.10 | 0.90 | 0.00 | 1.00 | 0.95 | 1.00 | 1.20 |
time (sec) |
N/A | 0.214 | 0.724 | 0.545 | 0.000 | 0.257 | 15.699 | 0.351 | 1.170 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 247 | 232 | 140 | 0 | 0 | 105 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 0.57 | 0.00 | 0.00 | 0.43 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.523 | 0.183 | 0.000 | 0.000 | 0.103 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 362 | 332 | 249 | 0 | 0 | 198 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.69 | 0.00 | 0.00 | 0.55 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.718 | 6.527 | 0.000 | 0.000 | 0.123 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 252 | 234 | 263 | 0 | 0 | 1480 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 1.04 | 0.00 | 0.00 | 5.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.336 | 1.528 | 0.000 | 0.000 | 0.521 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 156 | 152 | 162 | 0 | 0 | 1072 | 0 | 0 | 0 |
N.S. |
1 | 0.97 | 1.04 | 0.00 | 0.00 | 6.87 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.446 | 1.110 | 0.000 | 0.000 | 0.378 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 79 | 79 | 78 | 0 | 0 | 283 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 0.99 | 0.00 | 0.00 | 3.58 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.298 | 0.249 | 0.000 | 0.000 | 0.312 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 42 | 20 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.83 | 0.87 | 1.00 | 1.17 |
time (sec) |
N/A | 0.289 | 8.843 | 2.148 | 0.000 | 0.272 | 75.350 | 0.359 | 1.316 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 44 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 1.91 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.305 | 11.368 | 5.027 | 0.000 | 0.273 | 0.000 | 0.365 | 1.486 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 47 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.04 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.287 | 14.727 | 1.467 | 0.000 | 0.259 | 122.610 | 0.381 | 1.380 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 47 | 22 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.04 | 0.96 | 1.00 | 1.17 |
time (sec) |
N/A | 0.277 | 5.864 | 1.264 | 0.000 | 0.266 | 32.452 | 0.422 | 1.149 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 108 | 108 | 112 | 0 | 0 | 76 | 0 | 0 | 0 |
N.S. |
1 | 1.00 | 1.04 | 0.00 | 0.00 | 0.70 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.298 | 0.198 | 0.000 | 0.000 | 0.105 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 275 | 259 | 213 | 0 | 0 | 188 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 0.77 | 0.00 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.568 | 4.957 | 0.000 | 0.000 | 0.110 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 243 | 219 | 240 | 0 | 0 | 2119 | 0 | 0 | 0 |
N.S. |
1 | 0.90 | 0.99 | 0.00 | 0.00 | 8.72 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.338 | 1.466 | 0.000 | 0.000 | 0.496 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 163 | 148 | 162 | 0 | 0 | 663 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.99 | 0.00 | 0.00 | 4.07 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.448 | 0.412 | 0.000 | 0.000 | 0.379 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F(-2) | B | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 138 | 126 | 130 | 0 | 0 | 573 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.94 | 0.00 | 0.00 | 4.15 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.330 | 0.350 | 0.000 | 0.000 | 0.365 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 53 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.30 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.297 | 16.092 | 3.111 | 0.000 | 0.273 | 0.000 | 0.366 | 1.267 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 55 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.39 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.317 | 18.717 | 3.412 | 0.000 | 0.277 | 0.000 | 0.372 | 1.460 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 58 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.52 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.292 | 15.999 | 1.654 | 0.000 | 0.272 | 0.000 | 0.401 | 1.427 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | F(-2) | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 21 | 0 | 58 | 0 | 23 | 27 |
N.S. |
1 | 1.00 | 1.09 | 0.91 | 0.00 | 2.52 | 0.00 | 1.00 | 1.17 |
time (sec) |
N/A | 0.283 | 15.004 | 1.543 | 0.000 | 0.279 | 0.000 | 0.446 | 1.303 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 276 | 251 | 185 | 0 | 0 | 284 | 0 | 0 | 0 |
N.S. |
1 | 0.91 | 0.67 | 0.00 | 0.00 | 1.03 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.525 | 0.314 | 0.000 | 0.000 | 0.124 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | C | F | F | A | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 296 | 271 | 249 | 0 | 0 | 350 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.84 | 0.00 | 0.00 | 1.18 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.503 | 0.421 | 0.000 | 0.000 | 0.121 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F(-1) | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 585 | 541 | 402 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.92 | 0.69 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 2.151 | 0.884 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 371 | 344 | 293 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.93 | 0.79 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.647 | 0.480 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | F | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 215 | 202 | 171 | 0 | 0 | 0 | 0 | 0 | 0 |
N.S. |
1 | 0.94 | 0.80 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.406 | 0.341 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 23 | 25 | 25 | 20 | 25 | 29 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.09 | 0.87 | 1.09 | 1.26 |
time (sec) |
N/A | 0.257 | 2.203 | 4.670 | 0.572 | 0.268 | 35.125 | 0.319 | 0.819 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 23 | 23 | 25 | 23 | 25 | 36 | 0 | 25 | 29 |
N.S. |
1 | 1.00 | 1.09 | 1.00 | 1.09 | 1.57 | 0.00 | 1.09 | 1.26 |
time (sec) |
N/A | 0.257 | 4.734 | 3.287 | 0.573 | 0.266 | 0.000 | 0.327 | 0.803 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | F(-1) | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 42 | 0 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.68 | 0.00 | 1.00 | 1.16 |
time (sec) |
N/A | 0.280 | 1.063 | 2.732 | 0.551 | 0.286 | 0.000 | 0.372 | 0.897 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 25 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.275 | 0.145 | 1.367 | 0.395 | 0.282 | 51.607 | 0.344 | 0.810 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 25 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.00 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.270 | 1.088 | 1.158 | 0.408 | 0.272 | 21.901 | 0.357 | 0.897 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 25 | 25 | 27 | 23 | 25 | 45 | 24 | 25 | 29 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 1.00 | 1.80 | 0.96 | 1.00 | 1.16 |
time (sec) |
N/A | 0.275 | 1.222 | 2.210 | 0.424 | 0.279 | 134.541 | 0.368 | 0.982 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F(-1) | F(-2) | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 401 | 227 | 194 | 0 | 0 | 238 | 0 | 0 | 0 |
N.S. |
1 | 0.57 | 0.48 | 0.00 | 0.00 | 0.59 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.570 | 0.271 | 0.000 | 0.000 | 0.300 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F(-1) | F(-2) | F(-1) |
verified |
N/A | No | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 268 | 156 | 159 | 0 | 0 | 181 | 0 | 0 | 0 |
N.S. |
1 | 0.58 | 0.59 | 0.00 | 0.00 | 0.68 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 1.188 | 0.339 | 0.000 | 0.000 | 0.276 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | A | A | F | F | A | F | F | F(-1) |
verified |
N/A | Yes | Yes | N/A | TBD | TBD | TBD | TBD | TBD |
size | 126 | 101 | 138 | 0 | 0 | 124 | 0 | 0 | 0 |
N.S. |
1 | 0.80 | 1.10 | 0.00 | 0.00 | 0.98 | 0.00 | 0.00 | 0.00 |
time (sec) |
N/A | 0.414 | 0.192 | 0.000 | 0.000 | 0.264 | 0.000 | 0.000 | 0.000 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 26 | 26 | 28 | 24 | 88 | 37 | 34 | 26 | 30 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 3.38 | 1.42 | 1.31 | 1.00 | 1.15 |
time (sec) |
N/A | 0.269 | 0.441 | 0.372 | 0.518 | 0.254 | 11.160 | 0.359 | 1.817 |
Optimal | Rubi | MMA | Maple | Maxima | Fricas | Sympy | Giac | Mupad | |
grade |
N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A | N/A |
verified |
N/A | N/A | N/A | N/A | TBD | TBD | TBD | TBD | TBD |
size | 26 | 26 | 28 | 24 | 112 | 39 | 36 | 26 | 30 |
N.S. |
1 | 1.00 | 1.08 | 0.92 | 4.31 | 1.50 | 1.38 | 1.00 | 1.15 |
time (sec) |
N/A | 0.288 | 8.123 | 3.034 | 0.496 | 0.257 | 83.530 | 0.362 | 1.547 |